rules for subtracting integers